<body>
Interfaces defining behavious a group implements.
The main hiearachy is
GroupI -> AbelianGroupI -> RingI -> IntegralDomainI 
-> FieldI
the other interfaces here add additional functionality.
</body>
